<?php
function foo() { return "OK"; }
